#include <firmware/chibios/os/hal/platforms/STM32F1xx/stm32f10x.h>
TIM1 counter stopped when core is halted